define add proc(a,b)
	return := a + b
end;

define ccc proc(f)
	return := proc(x) return := proc(y) return := f(x,y) end end
end;

z := ccc(add)(5)(4)
